Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
501	A variant of the double-negation translation∗ Jeremy Avigad August 21, 2006 Abstract An efficient variant of the double-negation translation explains the Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2006-10-02 14:57:52 Model theory Formal languages Semantics Proof theory Dialectica interpretation Interpretation Intuitionistic logic First-order logic Well-formed formula Logic Mathematical logic Intuitionism
502	Merging Simulation and Projection Approaches to Solve High-Dimensional Problems with an Application to a New Keynesian model Lilia Maliar and Serguei Maliar March 9, 2014 Abstract Add to Reading List Source URL: qeconomics.org Language: English - Date: 2014-11-24 16:20:39 Mathematical optimization Operations research Ergodic theory Markov chain Economic model Dynamic programming Invariant measure Stochastic process Algorithm Statistics Mathematical analysis Mathematics
503	MICHAEL A. BISHOP IN PRAISE OF EPISTEMIC IRRESPONSIBILITY: HOW LAZY AND IGNORANT CAN YOU BE? ABSTRACT. Epistemic responsibility involves at least two central ideas. (V) To be epistemically responsible is to display the Add to Reading List Source URL: philosophy.fsu.edu Language: English Knowledge Epistemology Justification Prediction Theory of justification Intellectual responsibility Reliability engineering Consilience Economic model Science Critical thinking Futurology
504	Theory and Applications of Categories, Vol. 29, No. 23, 2014, pp. 635–653. CONSTRUCTING MODEL CATEGORIES WITH PRESCRIBED FIBRANT OBJECTS ALEXANDRU E. STANCULESCU Abstract. We present a weak form of a recognition princ Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-10-23 11:47:00 Category theory Mathematics Algebraic topology Monoidal categories Model category Adjoint functors Fibrant object Kan fibration Simplicial set Homotopy theory Abstract algebra Topology
505	SESSION IX : THEORY OF DEFORMATION ANALYSIS IDENTIFICATION OF PHYSICAL PARAMETERS BY MEANS OF DIFFERENTIAL EQUATIONS IN THE ADAPTIVE DYNAMIC FILTER MODEL Andreas Eichhorn, Wolfgang Möhlenbrink Institute for Application Add to Reading List Source URL: www.fig.net Language: English - Date: 2010-11-10 04:37:27 Matrix theory Abstract algebra Stochastic differential equations Control theory Kalman filter Eigenvalues and eigenvectors Differential equation Linear differential equation Matrix exponential Algebra Mathematics Linear algebra
506	Explaining the Size Distribution of Cities: X-treme Economies Marcus Berliantyand Hiroki Watanabez January[removed]Abstract Add to Reading List Source URL: www.qeconomics.org Language: English - Date: 2014-11-24 16:20:37 Consumer theory Demand Supply and demand Insurance Economic model JT Unemployment Labour economics Commodity Economics Financial institutions Institutional investors
507	Theory and Applications of Categories, Vol. 26, No. 6, 2012, pp. 176–193. SYNTACTIC CHARACTERIZATIONS OF PROPERTIES OF CLASSIFYING TOPOSES OLIVIA CARAMELLO Abstract. We give characterizations, for various fragments of Add to Reading List Source URL: www.emis.de Language: English - Date: 2012-03-06 13:54:00 Mathematics Topos Sheaf Grothendieck topology Representation theory Heyting algebra Initial and terminal objects Model theory Category theory Abstract algebra Sheaf theory
508	Theory and Applications of Categories, Vol. 29, No. 2, 2014, pp. 17–20. ERRATUM TO “TOWARDS A HOMOTOPY THEORY OF HIGHER DIMENSIONAL TRANSITION SYSTEMS” PHILIPPE GAUCHER Abstract. Counterexamples for Proposition 8. Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-03-05 13:57:00 Constructible universe Model category
509	Accelerating reinforcement learning by reusing abstract policies Yannick Plaino Bergamo 1 , Tiago Matos 1 , Valdinei Freire da Silva 1 , Anna Helena Reali Costa 1 1 Laboratório de Técnicas Inteligentes (LTI/EPUSP) Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2012-04-05 12:47:26 Structure Markov decision process Q-learning Model theory Statistics Mathematics Reinforcement learning
510	MULTIPLICATIVE ORIENTATIONS OF KO-THEORY AND OF THE SPECTRUM OF TOPOLOGICAL MODULAR FORMS MATTHEW ANDO, MICHAEL J. HOPKINS, AND CHARLES REZK Abstract. We describe the space of E∞ spin orientations of KO and the space o Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-05-20 10:57:38 Mathematics Topological modular forms Spectrum Homotopy category Homotopy group Model category Homotopy Elliptic curve Thom space Homotopy theory Topology Abstract algebra

UPDATE